/**
 * @see NumberToken.java
 * 
 * @author marc
 *
 */
public class ENumberOverflowException extends ERuntimeException {

}
